Reactive Valuations
نویسنده
چکیده
In sequential logic there is an order in which the atomic propositions in an expression are evaluated. This order allows the same atomic proposition to have different values depending on which atomic propositions have already been evaluated. In the sequential propositional logic introduced by Bergstra and Ponse in [5], such valuations are called “reactive” valuations, in contrast to “static” valuations as are common in e.g. ordinary propositional logic. There are many classes of these reactive valuations e.g., we can define a class of reactive valuations such that the value for each atomic proposition remains the same until another atomic proposition is evaluated. This Master of Logic thesis consists of a study of some of the properties of this logic. We take a closer look at some of the classes of reactive valuations mentioned in [5]. We particularly focus on the relation between the axiomatization and the semantics. Consequently, the main part of this thesis focuses on proving soundness and completeness. Furthermore, we show that the axioms in the provided axiomatizations are independent i.e., there are no redundant axioms present. Finally, we show ω-completeness for two classes of reactive valuations.
منابع مشابه
Quotient BCI-algebras induced by pseudo-valuations
In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties.
متن کاملMATRIX VALUATION PSEUDO RING (MVPR) AND AN EXTENSION THEOREM OF MATRIX VALUATION
Let R be a ring and V be a matrix valuation on R. It is shown that, there exists a correspondence between matrix valuations on R and some special subsets ?(MVPR) of the set of all square matrices over R, analogous to the correspondence between invariant valuation rings and abelian valuation functions on a division ring. Furthermore, based on Malcolmson’s localization, an alternative proof for t...
متن کاملINITIAL RAMIFICATION INDEX OF NONINVARIANT VALUATIONS ON FINITE DIMENSIONAL DIVISION ALGEBRAS
Let D be a division ring with centre K and dim, D< ? a valuation on K and v a noninvariant extension of ? to D. We define the initial ramfication index of v over ?, ?(v/ ?) .Let A be a valuation ring of o with maximal ideal m, and v , v ,…, v noninvariant extensions of w to D with valuation rings A , A ,…, A . If B= A , it is shown that the following conditions are equivalent: (i) B i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1101.3132 شماره
صفحات -
تاریخ انتشار 2011